5.77/10.14	unsat
