19.86/19.97	unsat
