28.79/30.76	unsat
