5.13/7.84	unsat
