5.60/5.77	unsat
