18.29/19.07	unsat
