4.77/7.14	unsat
