18.55/19.07	unsat
