19.87/21.12	unsat
