19.87/19.94	unsat
