18.75/21.66	unsat
