13.85/13.94	unsat
