17.68/20.61	unsat
