19.87/22.19	unsat
