19.84/19.93	unsat
