5.08/5.77	unsat
