18.28/19.03	unsat
