17.75/21.59	unsat
