0.50/0.84	unsat
