27.63/29.61	unsat
