18.29/18.40	unsat
