27.34/28.46	unsat
