18.29/18.37	unsat
