18.55/21.87	unsat
