17.88/18.49	unsat
