28.46/30.76	unsat
