14.31/18.05	unsat
