18.15/19.07	unsat
