3.77/5.20	unsat
