5.21/7.84	unsat
