17.24/21.55	unsat
