28.56/28.68	unsat
