17.18/17.49	unsat
