19.40/21.61	unsat
