4.90/8.14	unsat
