17.87/21.83	unsat
