18.06/19.62	unsat
