17.34/19.67	unsat
