19.79/19.84	unsat
