17.34/19.47	unsat
