5.91/7.81	unsat
