14.37/20.96	unsat
