5.23/7.76	unsat
