17.36/17.40	unsat
