15.75/18.66	unsat
