5.77/5.80	unsat
