19.84/19.97	unsat
