5.77/8.31	unsat
