5.77/6.31	unsat
