17.63/18.49	unsat
