18.55/21.90	unsat
