15.26/17.77	unsat
