17.46/17.95	unsat
