27.92/28.46	unsat
