17.68/21.11	unsat
