17.34/18.97	unsat
