11.88/13.61	unsat
