13.85/13.90	unsat
