28.41/28.52	unsat
