5.28/5.77	unsat
