17.66/21.61	unsat
