27.96/28.01	unsat
