27.97/31.62	unsat
