1.18/3.69	unsat
