18.45/19.02	unsat
