1.18/3.84	unsat
