19.57/19.61	unsat
