27.45/28.54	unsat
