17.55/20.94	unsat
