18.97/19.03	unsat
