19.97/21.61	unsat
