1.19/5.84	unsat
