19.69/21.28	unsat
