4.97/7.14	unsat
