27.76/31.61	unsat
