17.18/17.45	unsat
