27.04/31.76	unsat
