5.31/7.76	unsat
