19.74/21.61	unsat
